- context-free algebra
- мат.контекстно-свободная алгебра
English-Russian scientific dictionary. 2008.
context-free algebra
Смотреть что такое "context-free algebra" в других словарях:
Kleene algebra — In mathematics, a Kleene algebra (named after Stephen Cole Kleene, IPAEng|ˈkleɪni as in clay knee ) is either of two different things:* A bounded distributive lattice with an involution satisfying De Morgan s laws, and the inequality x ∧− x ≤ y… … Wikipedia
Abstract algebra — This article is about the branch of mathematics. For the Swedish band, see Abstrakt Algebra. The permutations of Rubik s Cube have a group structure; the group is a fundamental concept within abstract algebra. Abstract algebra is the subject area … Wikipedia
Geometric algebra — In mathematical physics, a geometric algebra is a multilinear algebra described technically as a Clifford algebra over a real vector space equipped with a non degenerate quadratic form. Informally, a geometric algebra is a Clifford algebra that… … Wikipedia
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Universal algebra — (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ( models ) of algebraic structures.For instance, rather than take particular groups as the object of study, in universal… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Basis (linear algebra) — Basis vector redirects here. For basis vector in the context of crystals, see crystal structure. For a more general concept in physics, see frame of reference. In linear algebra, a basis is a set of linearly independent vectors that, in a linear… … Wikipedia
Group Hopf algebra — In mathematics, the group Hopf algebra of a given group is a certain construct related to the symmetries of group actions. Deformations of group Hopf algebras are foundational in the theory of quantum groups. DefinitionLet G be an arbitrary group … Wikipedia
Variety (universal algebra) — This article is about a class of algebraic structures of the same signature. For the set of solutions to a system of polynomial equations, see Algebraic variety. In mathematics, specifically universal algebra, a variety of algebras is the class… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
